(*    
 *  PdP ML
 *
 *    Francesco Cotto
 *
 *    Es.1 Verifica di primalita
 *
 *)

let divisibile n m = 
        if (n mod m = 0) 
           then true
           else false ;;

let rec primo n m = 
        if (m=1) 
           then true
           else if divisibile n m 
                   then false
                   else primo n (m-1);;

let isPrimo n = primo n (n/2) ;;
